signature AUX4MIR_STRUCTS = 
sig
  structure Mir : MIR
end

signature AUX4MIR = 
sig
  include AUX4MIR_STRUCTS
  val aux_top : (Mir.mir_lnode list) -> (Mir.mir_lnode list)
end
